Монография предназначена для специалистов в области социальной философии, социологии и истории, а также для широкого круга читателей.

t. 1. Vlastʹ kli︠u︡cheĭ -- t. 2. Na vesakh Iova.

для научных работников, преподавателей, аспирантов, студентов юридических вузов и факультетов.

Rational reconstructions of cognition, outgoing from the results of cognitive activity, often introduce incorrect or imaginary cognitive procedures. Cognition needs to be examined as the open creative process directed to the unknown future. In the process of cognition a theoretical language, perceptive structures, methods of empiric researches and ontological phenomena are mutually constructed. The contents of the results of cognition are encoded in the language of theory and becomes objective in its ontology. It is the same information represented in different (...) forms. The classic theory of truth is faithful, always used for the estimation of our assertations, but the terms of its use are constructed in the process of cognition. The only mode to show that the theory is not truthful and the ontological phenomena are not real is to construct a successful alternative theory. (shrink)

Книга представляет собой исследование, где предпринимается попытка на основе детальной проработки первоисточников и воспроизведения основных ходов мысли и интуиций Гегеля и позднего Шеллинга провести сравнительный анализ их учений об абсолюте.

Some questions connected with the carry over of fundamental group theory to constructive mathematics, and with the relationship between classical and constructive group theories are considered herein. All the considerations are carried out within the scope of constructive mathematics.

The paper proves that a historical method in Marxism is not identified to a dialectical method. The logic of history and the logic of its analysis in Marxism do not always coincide. The Logical coincides with the Historical only in eternity as it actually occurs in the works by G.V.F. Hegel. Eternity which has already witnessed everything does not know history any more. In the same way, history also begins there where the eternity comes to an end. Therefore, artificial identification (...) of the Logical with the Historical in Marxism led sometimes to actual mistakes. It is no wonder that it has always caused discussions in Marxism. They are mainly explained by the fact that the deductive, abstract-to-concrete method in which the “General” appears before the “Concrete” is an anti-historical method in its Nature. In real human history the “General” which is generalization of many “Concrete” could not appear before the latter in any way. For this reason, the real historical materialism needs an inductive method of knowledge. Only in that case historical materialism will cease to remain the soviet “histmat” and becomes the real form of a new world outlook. The author is of the opinion that the Party spirit of the Soviet philosophy promoted preservation of the anomalies mentioned in Marxism. The open discussion could help to find valid but not inherited from Hegel relation of historical and logical methods in Marxism. (shrink)

В монографии рассматривается соотношение индивидуальных и универсальных начал в праве как эффективное средство решения многих правовых проблем, как руководство в законодательной и судебной деятельности.

The publication presents the initial passages of the famious Pali Brahmajālasuttanta with the corresponding parts of its traditional commentary Sumaṅgalavilāsinī as a sample of the ancient hypertext. It is meant as a valuable source to such fundamental philological and hermeneutical questions as what is commented ans what is disregarded by the commentator; how, why and whatfore is in commented.

Packing optimization problems have a wide spectrum of real-word applications. One of the applications of the problems is problem of placement of containers with spent nuclear fuel on the storage platform. The solution of the problem can be reduced to the solution of the problem of finding the optimal placement of a given set of congruent circles into a multiconnected domain taking into account technological restrictions. A mathematical model of the prob-lem is constructed and its peculiarities are considered. Our approach (...) is based on the mathematical modelling of rela-tions between geometric objects by means of phi-function technique. That allowed us to reduce the problem solving to nonlinear programming. Today, an important scientific problem is the problem of creating conditions for safe storage of spent nuclear fuel. In the process of creating any dry spent nuclear fuel storage, the following main stages can be identified: site selection, storage design, construction, operation and decommissioning. A full check for compliance of the repository and its elements with these standards usually begins at the design stage. At the stage of site selection, the inspection for compliance with safety standards is carried out only in terms of the impact of the repository as a whole on the environment. This approach cannot be considered fully appropriate, because, taking into account, for example, all the climatic features of the future storage site, it is possible to adjust the thermal storage regimes of spent nuclear fuel. Similarly, it can be considered necessary to analyze and select the shape of the storage site in order to accommo-date the maximum possible number of spent fuel containers. Such a choice, obviously, should be made taking into ac-count the norms of nuclear, radiation and thermal safety, as well as in compliance with technological limitations. The problem of finding the optimal placement of containers taking into account the given technological limitations can be formulated in the form of the problem of optimization of geometric design. Therefore, the purpose of the study is to build a mathematical model of the problem and study its characteristics to develop effective methods of solution. The proposed approach is based on mathematical modeling of relations between geometric objects using the method of phi-functions. This allowed to reduce the solution of the problem to the problem of nonlinear programming. (shrink)

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

Prior studies have reported that women outperform men in nonverbal communication, including the recognition of emotions through static facial expressions. In this experimental study, we investigated sex differences in the estimation of states of happiness, anger, fear, and disgust through static photographs using a two-culture approach. This study was conducted among the Tuvans and Mongolian people from Southern Siberia. The respondents were presented with a set of photographs of men and women of European and Tuvan origin and were asked to (...) interpret each of them. They were asked: “What does the person in the photo feel?” We found that the Tuvans easily identified happiness and anger; however, the level of accuracy of fear and disgust recognition was low. No sex differences in the recognition of happiness, disgust, and fear were observed. However, anger recognition was significantly moderated by the perceiver’s sex and the origin of the model. Compared to Tuvan men, Tuvan women were significantly less accurate in identifying anger in male Tuvans. Furthermore, the age effect was found in recognition of fear: older Tuvans were more accurate while recognizing the fearful faces of Tuvan, but not the European models. (shrink)

Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized eigenvalues problem of sparse matrices, with automatic parallelization of calculations on modern parallel computers with graphics processors. Peculiarities of realization of parallel algorithms for different structures of sparse matrices are presented. The times of solving the problem of stability of composite materialsusing a three-dimensional model of "finite size fibers" on computers of different architectures are given. In mathematical modeling of physical and technical (...) processes in many cases there is a need to solve problems of algebraic problem of eigenvalues with sparse matrices of large volumes. In particular, such problems arise in the analysis of the strength of structures in civil and industrial construction, aircraft construction, electric welding, etc. The solving to these problems is to determine the eigenvalues and eigenvectors of sparse matrices of different structure. The efficiency of solving these problems largely depends on the effectiveness of mathematical modeling of the problem as a whole. Continuous growth of task parameters, calculation of more complete models of objects and processes on computers require an increase in computer productivity. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. High-performance computing requirements are far ahead of traditional parallel computing, even with multicore processors. Today, this problem is solved by using powerful supercomputers of hybrid architecture, such as computers with multicore processors and graphics processors, which combine MIMD and SIMD architectures. But the potential of high-performance computers can be used to the fullest only with algorithmic software that takes into account both the properties of the task and the features of the hybrid architecture. Complicating the architecture of modern high-performance supercomputers of hybrid architecture, which are actively used for mathematical modeling means a significant complication of efficient use of these resources in creating parallel algorithms and programs. here are problems with the creation of algorithmic software with automatic execution of stages of work, which are associated with the efficient use of computing resources, ways to store and process sparse matrices, analysis of the reliability of computer results. This makes it possible to significantly increase the efficiency of mathematical modeling of practical problems on modern high-performance computers, as well as free users from the problems of parallelization of complex problems. he developed algorithmic software automatically implements all stages of parallel computing and processing of sparse matrices on a hybrid computer. It was used at the Institute of Mechanics named after S.P. Tymoshenko NAS of Ukraine in modeling the strength problems of composite material. A significant improvement in the time characteristics of mathematical modeling was obtained. Problems of mathematical modeling of the properties of composite materials has an important role in designing the processes of deformation and destruction of products in various subject areas. Algorithmic software for mathematical modeling of structural stability is considered, which is reduced to solving a partial generalized problem of eigen values of sparse matrices of different structure of large orders, with automatic parallelization of calculations on modern parallel computers with graphics processors. The main methodological principles and features of implementation of parallel algorithms for different structures of sparse matrices are presented, which ensure effective implementation of multilevel parallelism of a hybrid system and reduce data exchange time during the computational process. As an example of these approaches, a hybrid algorithm of the iteration method in subspace for tape and block-diagonal matrices with a frame for computers of hybrid architecture is given. Peculiarities of data decomposition for matrices of profile structure at realization of parallel algorithms are considered. The proposed approach provides automatic determination of the required topology of the hybrid computer and the optimal amount of resources for the organization of an efficient computational process. The results of testing the developed algorithmic software for problems from the collection of the University of Florida, as well as the times of solving the problem of stability of composite materials using a three-dimensional model of "finite size fibers" on computers of different architectures. The results show a significant improvement in the time characteristics of solving problems. (shrink)

Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...) to determine the congruence of the tense Nelson algebras and also to characterize the subdirectly irreducible tense Nelson algebras and particularly the simple tense Nelson algebras. Finally, we prove that there exists an equivalence between the category of IKt-algebras and the category of tense centered Nelson algebras. (shrink)